muMV-algebras: An approach to fixed points in Lukasiewicz logic

We study an extension of MV algebras, called μMV algebras, in which minimal and maximal fixed points are definable. The first result is that μMV algebras are term-wise equivalent to divisible MV∆algebras, i.e. a combination of two known extensions of MV algebras: divisible MV algebras [4] and MV∆algebras [6]. Using methods from the two known extensions we derive a number of results about μMV algebras; among others: subdirect representation, standard completeness, amalgamation property. Keyword: Fixed Point, Many Valued Logic, MV algebras